The Logic of Homophily Dynamics in Heterogeneous Networks: Axiomatization, Model Checking and Validity Checking

Social networks have received considerable attention from the modal logic community. In this article, we study and characterize one of most important principles in field social networks. Homophily, which means similarity breeds association, reveals nature organization. order to be able express association together, generalize basic network then define heterogeneous network. The is also defined provide a good foundation for use logical approaches. Logic Homophily LHG,M that propose article based on Computation Tree Formal Concept Analysis. describes homophily dynamics at specified coefficient. Furthermore, not only axiomatize prove axiom system LHG,Mn sound complete, but model checking validity are both PSPACE-complete.